 |
0 索取号:Q55/E20041 作者: 出版社:Cambridge : Royal Society of Chemistry, c2003.
|  |
0 索取号:O174.2/E20041 作者:Cohen、 Albert、 1965-、 出版社:Amsterdam : Elsevier, 2003.
|
 |
0 索取号:TP36-53/E903/1983 作者:Mini/Micro West (1983 : San Francisco、 Calif.)、Institute of Electrical and Electronics Engineers. San Francisco Bay Area Council.、Wescon (1983 : San Francisco、 Calif.)、 出版社:Los Angeles, CA : Electronic Conventions Management ; [North Hollywood, Calif. : Distributed by Western Periodicals Co.], c1983.
|  |
0 索取号:TP312-53/E9011/1983 作者:ACM-SIGPLAN Symposium on Programming Language Issues in Software Systems (1983 : San Francisco、 Calif.)、Association for Computing Machinery. Special Interest Group in Programming Languages.、 出版社:Baltimore New York : Association for Computing Machinery, c1983.
|
 |
0 索取号:TP3-55/E9013 作者:CAAP '83 (8th : 1983 : L'Aquila、 Italy)、Ausiello、 G. (Giorgio)、 1941-、Protasi、 M. (Marco)、 1950-、 出版社:Berlin ; New York : Springer-Verlag, 1983
|  |
0 索取号:TP312-53/E9012/1983 作者:Conference on Applied Natural Language Processing (1983 : Santa Monica、 Calif.)、Association for Computational Linguistics.、Naval Research Laboratory (U.S.)、 出版社:[S.l. : s.n.], 1983.
|
 |
0 索取号:TP302-53/E801/17 作者:Asilomar Conference on Circuits、 Systems & Computers (17th : 1983 : Santa Clara、 Calif.)、Chan、 Shu-Park、 1929-、Naval Postgraduate School (U.S.)、 出版社:Silver Spring : IEEE Computer Society Press, c1984.
|  |
0 索取号:TP302/E991 作者:Kozen、 Dexter、 1951-、 出版社:New York : Springer-Verlag, 1992.
|
 |
0 索取号:TP303/E701 作者:Weaver、 William、 1929-、 出版社:Princeton, N.J. : Van Nostrand, [1967].
|  |
0 索取号:B849/E20041 作者:Bailey、 Jon S.、Burch、 Mary R.、 出版社:Thousand Oaks : Sage Publications, c2002.
|
 |
0 索取号:TP3-55/E904 作者: 出版社:Berlin ; New York : Springer-Verlag, c1985.
|  |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|
 |
0 索取号:TP3-53/E8015/6 作者: 出版社:Berlin ; New York : Springer-Verlag, 1982.
|  |
0 索取号:TP3-53/E9021/8 作者:Conference on Electronic Computation (8th : 1983 : Houston、 Tex.)、Nelson、 James K.、American Society of Civil Engineers. Structural Division. Committee on Electronic Computation.、 出版社:New York, N.Y. : ASCE, 1983.
|
 |
0 索取号:TP3-53/E9011/5 作者:International Conference on Computer Capacity Management (5th : 1983 : New Orleans、 La.)、Kaplan、 Carol B.、Institute for Software Engineering.、 出版社:Sunnyvale, Calif. : Institute for Software Engineering, c1983.
|  |
0 索取号:TP3-27/E801/1983 作者:Association for Computing Machinery. Conference (1983 : New York、 N.Y.)、ACM Digital Library.、 出版社:New York : Association for Computing Machinery, c1983
|